Proof Trampolines Are Dangerous